Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
461	Notions of Bidirectional Computation and Entangled State Monads Faris Abou-Saleh1 , James Cheney2 , Jeremy Gibbons1 , James McKinna2 , and Perdita Stevens2 1 Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-04-29 12:24:51 Computer programming Adjoint functors Data types Monad Type theory Strong monad Type class Haskell Monoid Declarative programming Software engineering Functional programming
462	Static Specification Mining Using Automata-Based Abstractions Sharon Shoham Technion Israel Institute of Technology Eran Yahav Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2007-06-11 13:49:54 Abstraction Applied mathematics Computer science Programming paradigms Data management Abstract interpretation Deterministic finite automaton Formal verification Abstract object Automata theory Theoretical computer science Models of computation
463	CONSTRUCTIVIST LOGIC AND EMERGENT EVOLUTION IN ECONOMIC COMPLEXITY J. Barkley Rosser, Jr. James Madison University Add to Reading List Source URL: cob.jmu.edu Language: English - Date: 2008-05-12 20:05:00 Theoretical computer science Mathematics Systems Complex systems theory J. Barkley Rosser Jr. Computable function Mathematical logic Complexity General equilibrium theory Computability theory Applied mathematics Theory of computation
464	JMLR: Workshop and Conference Proceedings 34:167–181, 2014 Proceedings of the 12th ICGI Bigger is Not Always Better: on the Quality of Hypotheses in Active Automata Learning Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Automata theory Statistics Models of computation Metric geometry Ultrametric space Statistical hypothesis testing Regular expression String Deterministic finite automaton Formal languages Theoretical computer science Mathematics
465	DOC Document Add to Reading List Source URL: cob.jmu.edu Language: English - Date: 2007-12-14 11:41:15 Computability theory Theory of computation Turing machine Alan Turing Universal Turing machine Halting problem Computability Computable number Algorithm Theoretical computer science Applied mathematics Mathematics
466	Inferring Synchronization under Limited Observability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T.J. Watson Research Center Abstract. This paper addresses the problem of automatically inferring synchronization for c Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2009-03-28 14:04:36 Automata theory Transition Observability Models of computation
467	Online Computation with Advice Yuval Emek1 ? , Pierre Fraigniaud2 ?? , Amos Korman2 Add to Reading List Source URL: www.liafa.jussieu.fr Language: English - Date: 2010-02-08 08:39:17 Computational complexity theory Applied mathematics Competitive analysis K-server problem Randomized algorithm Metrical task system Adversary model Minimum spanning tree Bin packing problem Theoretical computer science Online algorithms Analysis of algorithms
468	PHYSICAL REVIEW B 82, 104522 共2010兲 Analysis of a tunable coupler for superconducting phase qubits Ricardo A. Pinto and Alexander N. Korotkov* Department of Electrical Engineering, University of California, Riversid Add to Reading List Source URL: www.physast.uga.edu Language: English - Date: 2010-12-15 11:27:20 Models of computation Computational complexity theory Information theory Quantum computer Quantum cryptography Quantum gate Quantum circuit Relaxation Qubit Theoretical computer science Quantum information science Applied mathematics
469	&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& Workshop on Linear Logic Geometry of Interaction, Traced Monoidal Categories and Implicit Complexity &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2011-11-05 07:38:23 Logic in computer science Models of computation Proof theory Philosophical logic Geometry of interaction Denotational semantics Linear logic Mathematical logic Curry–Howard correspondence Theoretical computer science Logic Mathematics
470	PDF Document Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-23 06:27:08 Music Automata theory Models of computation Algorithm Mathematical logic Theoretical computer science Formal specification Specification G-code Computing Formal methods Software engineering

UPDATE